521. Temporal verification of reactive systems: safety
پدیدآورنده: Manna, Zohar
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer software-- Verification,، Parallel processing )Electronic computers(
رده :
QA
76
.
76
.
V47
.
M36
1995
522. Terraform :up and running : writing infrastructure as code
پدیدآورنده: Brikman, Yevgeniy
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: Management ، Computer networks,Development ، Computer software,Software ، Operating systems )Computers(,، Computer network architectures,، Cloud computing
رده :
TK
5105
.
5
.
B75
2017
523. Testing IT :
پدیدآورنده: John Watkins.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer software-- Testing.,Computer software-- Testing.,COMPUTERS-- Software Development & Engineering-- Quality Assurance & Testing.
رده :
QA76
.
76
.
T48
W38
2001eb
524. That's edutainment!: a parent's guide to educational software
پدیدآورنده: Brown, Eric
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computer-assisted instraction - Software , Computers and children , Education - Computer programs
رده :
LB
1028
.
7
.
B76
1995
525. The Agent Modeling Language--AML
پدیدآورنده: / Radovan Cervenka, Ivan Trencansky
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Intelligent agents (Computer software),Computer software--Development,Programming languages (Electronic computers)
رده :
QA
,
76
.
76
,.
I58
,
C47
,
2007
526. The C programming language /
پدیدآورنده: Brian W. Kernighan, Dennis M. Ritchie
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: C (Computer program language),Computers.,Software.
رده :
QA76
.
73
.
C15
K47
1988
527. The C programming language /
پدیدآورنده: Brian W. Kernighan, Dennis M. Ritchie.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: C (Computer program language),Computers.,Software.
رده :
QA76
.
73
.
C15
K47
528. The Complete FreeBSD :
پدیدآورنده: Greg Lehey
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Free computer software.,FreeBSD.,Operating systems (Computers)
رده :
QA76
.
76
.
O63
G744
2009
529. The Imperative future :principles of executable temporal logic
پدیدآورنده: edited by Howard Barringer ... ]et al.[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع: Development ، Computer software,، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
76
.
D47
I47
1996
530. <The> Philosophy of Software
پدیدآورنده: \ David M. Berry.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computers and civilization,کامپیوترها و تمدن,a03,a03,Computer software -- Philosophy.,نرم‌افزار -- فلسفه
رده :
E-Book
,
531. The accredited Symbian developer primer
پدیدآورنده: / by Jo Stichbury and Mark Jacobs
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Operating systems (Computers),Computer networks,Computer software- Development
رده :
QA76
.
76
.
O63
,
S75538
2006
532. The addison-wesley book of IBM software 1985
پدیدآورنده: Foster, Dennis L.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: IBM personal computers Programming, Computer software Catalogs
رده :
QA
76
.
8
.
I25
F67
1985
533. The cathedral & the bazaar
پدیدآورنده: / Eric S. Raymond, with a foreword by Bob Young
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Linux,Operating systems (Computers),Computer software- Development,Computer hackers
رده :
QA76
.
76
.
O63
,
R396
1999
534. The cathedral & the bazaar :
پدیدآورنده: Eric S. Raymond, with a foreword by Bob Young.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Linux.,Linux.,Computer software-- Development.,Hackers.,Operating systems (Computers),Computer software-- Development.,COMPUTERS-- Operating Systems-- Linux.,Hackers.,LINUX,Open Source,Operating systems (Computers)
رده :
QA76
.
76
.
O63
R396
1999eb
535. The computer triangle : hardware, software, people
پدیدآورنده: Oakman, Robert L.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computers , Computer software
رده :
QA
76
.
5
.
O16
1997
536. The definitive guide to AdonisJs :
پدیدآورنده: Christopher Pitt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: JavaScript (Computer program language),Computer programming-- software development.,COMPUTERS-- Programming Languages-- JavaScript.,JavaScript (Computer program language),Web programming.
رده :
QA76
.
73
.
J39
537. The design and implementation of the FreeBSD operating system
پدیدآورنده: McKusick, Marshall Kirk
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Free BSD,، Free computer software,، Operating systems )Computers(
رده :
QA
76
.
76
.
O63
M398745
2005
538. The design and implementation of the FreeBSD operating system
پدیدآورنده: Marshall Kirk McKusick, George V. Neville-Neil, Robert N.M. Watson
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Free computer software,Operating systems (Computers)
رده :
QA76
.
76
.
O63
.
M358
2014
539. The enhancement of Arabic information retrieval using Arabic text summarization
پدیدآورنده: Ababneh, Ahmad
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: QA75 Electronic computers. Computer science ; QA76 Computer software
540. The essential distributed objects survival guide
پدیدآورنده: Orfali, Robert.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Client/server computing,، Operating systems )Computers(,، Object-oriented programming )Computer science(,، Application software
رده :
QA
76
.
9
.
C55
O76
1996
